cp_model:main.cc
	g++ -o $@ $^ -lpthread

.PHONY:clean
clean:
	rm -r cp_model